Формализация нотаций

1 статья